Inviscid symmetry breaking with non-increasing energy

Increasing Symmetry Breaking by Preserving Target Symmetries

Breaking the exponential number of all symmetries of a constraint satisfaction problem is too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries. In static symmetry breaking, the goal is to post a set of constraints to break these target symmetries in order to reduce the solution set and thus also the search space. Symmetries of...

Supersymmetry and gauge symmetry breaking with naturally vanishing vacuum energy

We review the construction of N = 1 supergravity models where the Higgs and super-Higgs effects are simultaneously realized, with naturally vanishing classical vacuum energy and goldstino components along gauge-non-singlet directions: this situation is likely to occur in the effective theories of realistic string models. Invited talk presented at SUSY–95, Palaiseau, France, 15–19 May 1995 CERN-...

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search

Symmetry Breaking During Search (SBDS) adds conditional symmetry breaking constraints (which are nogoods) dynamically upon backtracking to avoid exploring symmetrically equivalents of visited search space. The constraint store is proliferated with numerous such individual nogoods which are weak in constraint propagation. We introduce the notion of increasing nogoods, and give a global constrain...

Symmetry Non Restoration and Inverse Symmetry Breaking on the Lattice

We study the finite temperature symmetry behaviour of O(N1)×O(N2) scalar models on the lattice and we prove that at sufficiently high temperatures and in arbitrary dimensions their full symmetry is always restored or, equivalently, that the phenomenon of Symmetry Non Restoration which, according to lowest order perturbation theory, takes place in the continuum version of these models, does not ...

1 Review of Symmetry Non-restoration and Inverse Symmetry Breaking